ACPI / table: Print GIC information when MADT is parsed
authorHanjun Guo <hanjun.guo@linaro.org>
Fri, 26 Feb 2016 11:36:46 +0000 (12:36 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 26 Feb 2016 11:36:46 +0000 (12:36 +0100)
commit89b5aa9bf74ebd4fcec06be05024e127361903a6
tree30c1a04df6ccf0894b6e2762b5650e952bc3810d
parent763076cf5d29b41c98171ac2489e1726f95667ae
ACPI / table: Print GIC information when MADT is parsed

When MADT is parsed, print GIC information as debug message:

ACPI: GICC (acpi_id[0x0000] address[00000000e112f000] MPIDR[0x0] enabled)
ACPI: GICC (acpi_id[0x0001] address[00000000e112f000] MPIDR[0x1] enabled)
...
ACPI: GICC (acpi_id[0x0201] address[00000000e112f000] MPIDR[0x201] enabled)

This debug information will be very helpful to bring up early systems to
see if acpi_id and MPIDR are matched or not as spec defined.

Signed-off-by: Hanjun Guo <hanjun.guo@linaro.org>
[Linux commit 4c1c8d7a7ebc8b909493a14b21b233e5377b69aa]
[Use container_of instead of cast and PRIx64 instead of %llx]
Signed-off-by: Shannon Zhao <shannon.zhao@linaro.org>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/drivers/acpi/tables.c